one-place predicate calculus

[数] 一元谓词演算

热门查询